Aleksandar Dimovski | Software Verification Based On Game Semantics

Software Verification Based On Game Semantics And Process Algebra A

Verification Of Temporal Properties In Embedded Software Based On

Software Verification And Analysis An Integrated, Hands-on Approach

Universal Verification Methodology Based Verification Environment |

Jaakko Hintikka On Knowledge And Game-theoretical Semantics | Sandu

Syntax-directed Semantics Formal Models Based On Tree Transducers 1992

Operational Semantics And Verification Of Security Protocols Sjouke

Constraint-based Verification 1230

Sjouke Mauw (u. A.) | Operational Semantics And Verification Of

Software Engineering Paradigm Based On Complexity Science An

Christoph David Gladisch | Verification-based Software-fault Detection

Games-based Learning The Impact Of Educational Games On Classroom

Evaluating Software Complexity Based On Decision Coverage 2067

Software Engineering: Specification, Implementation, Verification 3855

Deductive Software Verification: Future Perspectives | Wolfgang